$\forall$${\it es}$:event\_system\{i:l\}, $x$,$i$:Id. es{-}initially(${\it es}$; $i$; $x$) $\in$ es{-}vartype(${\it es}$; $i$; $x$)